Formal proof - Turkish English Dictionary